Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
461	Cache and I/O Efficient Functional Algorithms Guy E. Blelloch Robert Harper Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-10-30 13:00:38 Computer hardware Analysis of algorithms Sorting algorithms Memory management Models of computation Cache-oblivious algorithm CPU cache Merge sort Compiler optimization Cache Computer memory Computing
462	Informatics Everywhere: Information and Computation in Society, Science, and Technology Tom Verhoeff Dept. of Math. and CS, Eindhoven University of Technology Den Dolech 2, 5612 AZ Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-06-24 05:42:44 Computability theory Lambda calculus Models of computation Formal methods Informatics Combinatory logic Computation Information theory Algorithm Applied mathematics Theoretical computer science Mathematics
463	Tree pattern matching by pushdown automata Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:46 Pattern matching A ISO 216 Software engineering Notation Automata theory Models of computation Pushdown automaton
464	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
465	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
466	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-03-10 07:36:26 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
467	Automated Reverse Engineering Halvar Flake – Black Hat Asia 2003 Outline for the talk (I) Theoretical (Dry!) parts first, more “practical” in the second half • Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:21 Central processing unit Models of computation Computer architecture Classes of computers Programming language implementation Dataflow Reduced instruction set computing Pointer Instruction set Computing Computer engineering Software engineering
468	From SIAM News, Volume 45, Number 9, NovemberPhysics and Computation Computation and its Limits. By Paul Cockshott, Lewis M. Mackenzie, and Greg Michaelson, Oxford University Press, Oxford, UK, and New York, 2012, Add to Reading List Source URL: www.siam.org Language: English - Date: 2012-12-17 10:03:08 Computability theory Theory of computation Models of computation Alan Turing Halting problem Quantum computer Computability Algorithm Interpretations of quantum mechanics Theoretical computer science Applied mathematics Computer science
469	Petri Net-Based Cooperation In Multi-Agent Systems Y.T. Kotb, S.S. Beauchemin, and J.L. Barron {ykotb, beau, barron} @csd.uwo.ca Department of Computer Science The University of Western Ontario Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2007-11-08 22:02:00 Petri net Robotics Robot Diagrams Models of computation Concurrency
470	Compiler Tools in APL Robert Bernecky Snake Island Research Inc 18 Fifth Street, Ward’s Island Toronto, Ontario M5J 2B9 Canada Add to Reading List Source URL: www.snakeisland.com Language: English - Date: 2008-07-16 14:59:20 APL programming language family Array programming languages Models of computation Automata theory Functional languages Finite-state machine APL LALR parser LR parser Software engineering Computing Computer programming

UPDATE